Object-oriented design - PDFSEARCH.IO - Document Search Engine

Object-oriented design
Results: 940

#	Item
191	Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland firstn Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-07-18 08:21:02 Logic in computer science Design by contract Eiffel Formal verification Software verification Postcondition KeY Formal methods Exception handling Software engineering Theoretical computer science Computing
192	CHAPTER 4 The Process Design and programming are human activities; forget that and all is lost. Bjarne Stroustrup, 1991 We use processes because we are afraid. We are afraid that Add to Reading List Source URL: www.objectmentor.com Language: English - Date: 2012-12-22 20:52:01 Software development process Formal methods Software project management Software engineering Software engineers Unified Process Grady Booch Iteration Object-oriented analysis and design Software development Computing Software
193	R o l e s a nd C l a ss es i n O b j e ct O r i e n t e d Pr o g ra m m i n g Trygve Reenskaug University of Oslo Department of informatics PO box 1080 Blindern, 0316 Oslo, Norway. Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2007-10-12 11:45:28 Computer programming Unified Modeling Language Object Oriented Role Analysis and Modeling Software design pattern Object-oriented design Object Inheritance Association Design Patterns Software engineering Object-oriented programming Computing
194	Information-Flow Analysis of Android Applications in DroidSafe Michael I. Gordon∗ , Deokhwan Kim∗ , Jeff Perkins∗ , Limei Gilham† , Nguyen Nguyen‡ , and Martin Rinard∗ ∗ Massachusetts Institute of Technolo Add to Reading List Source URL: www.internetsociety.org Language: English - Date: 2015-02-07 12:49:52 Android Embedded Linux Smartphones Scripting languages Java Application programming interface Dalvik Object-oriented design Lua Computing Software Cross-platform software
195	Design First With Java Glenn D. Blank and Sally H. Moritz Copyright © 2005 (please ask for permission to use this material) Chapter 1: The Big Picture of Software Development “It is a melancholy Add to Reading List Source URL: www.cse.lehigh.edu Language: English - Date: 2005-12-13 17:17:39 Object-oriented programming Software development process Unified Modeling Language Java Object Class Circle-ellipse problem Use-case analysis Software engineering Computing Computer programming
196	Quotes from∗ Fundamentals of Computing II: Abstraction, Data Structures, and Large Software Systems Allen B. Tucker Robert D. Cupper Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-09-07 04:16:35 Object-oriented programming Software design Software development Decomposition Object-oriented design Software development methodology Algorithm Postcondition Subroutine Software engineering Computer programming Computing
197	arXiv:1407.2905v1 [cs.SE] 10 JulRun-time extensibility and librarization of simulation software Jed Brown Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-07-10 21:00:13 Software design patterns Component-based software engineering Object-oriented programming Integrated development environments Portable Extensible Toolkit for Scientific Computation Java VisIt Dependency injection Software framework Software Computing Software architecture
198	Meta-Classing & Super-Classing in Matisse A Technical Brief Matisse Software Inc. © 2003 MATISSE SOFTWARE INC., ALL RIGHTS RESERVED. Matisse is a registered trademark of Matisse software Add to Reading List Source URL: www.adb.com Language: English - Date: 2004-04-28 17:30:06 Computer programming Metaclass Class HTML Java Object database Object-oriented design Attribute Computing Software engineering Object-oriented programming
199	Cross-Document Pattern Matching Gregory Kucherov1 1 Universit´ e Yakov Nekrich2 Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2012-12-29 15:22:50 Unified Modeling Language Dynamic systems development method Use case Alistair Cockburn Agile software development RIS Object-oriented analysis and design Leszek Maciaszek Software development Software project management Software
200	BSD Reading List Version 3.0 April 2012 Contents Add to Reading List Source URL: certifications.bcs.org Language: English - Date: 2012-06-21 06:33:14 Unified Modeling Language Dynamic systems development method Use case Alistair Cockburn Agile software development RIS Object-oriented analysis and design Leszek Maciaszek Software development Software project management Software

UPDATE